step(is,bs,tm(s,[ctxm(zeta_,idp2,ip,ip_is,ip_is),ctxm(zeta_,sp,ip,ip_bs,ip_bs)],pri(lst,[pri(lst,[ctxm(zeta_,u,i_sess,ss(zeta_,i_sess),ss(zeta_,i_sess)),ctxm(zeta_,u,d_6,id_6,cd_6)]),pri(sig,[pri(lst,[ctxm(zeta_,u,i_sess,ss(zeta_,i_sess),ss(zeta_,i_sess)),ctxm(zeta_,u,d_6,id_6,cd_6)]),ctxm(zeta_,idp2,kM,kM_is,kM_is)])]))).
